Skip to content

Java: Update change note to cover #2304 and #2346.#2373

Merged
yh-semmle merged 1 commit intogithub:rc/1.23from
aschackmull:java/changenote-update
Nov 18, 2019
Merged

Java: Update change note to cover #2304 and #2346.#2373
yh-semmle merged 1 commit intogithub:rc/1.23from
aschackmull:java/changenote-update

Conversation

@aschackmull
Copy link
Copy Markdown
Contributor

Extend change note to cover the range analysis bug fixes. #2305 was already sufficiently covered by the existing change note.

@yh-semmle yh-semmle merged commit 3d83754 into github:rc/1.23 Nov 18, 2019
@aschackmull aschackmull deleted the java/changenote-update branch November 19, 2019 10:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants